Complete Groups Are Complete Co-analytic
نویسنده
چکیده
The set of complete groups is a complete co-analytic subset of the standard Borel space of countably infinite groups.
منابع مشابه
The Isomorphism Problem for Torsion - Free Abelian Groups Is Analytic Complete
We prove that the isomorphism problem for torsion-free Abelian groups is as complicated as any isomorphism problem could be in terms of the analytical hierarchy, namely Σ1 complete.
متن کاملMagnetic Flows on Homogeneous Spaces∗
We consider magnetic geodesic flows of the normal metrics on a class of homogeneous spaces, in particular (co)adjoint orbits of compact Lie groups. We give the proof of the non-commutative integrability of flows and show, in addition, for the case of (co)adjoint orbits, the usual Liouville integrability by means of analytic integrals. We also consider the potential systems on adjoint orbits, wh...
متن کاملVaricella Zoster Virus (VZV) Origin-Dependent Plasmid Replication in the Presence of the Four Overlapping Cosmids Comprising the Complete Genome of VZV
The Varicella-Zoster Virus (VZV) genome contains both cis-acting and trans-acting elements, which are important in viral DNA replication. The cis-acting elements consist of two copies of oriS, and the trans-acting elements are those genes whose products are required for virus DNA replication. It has been shown that each of the seven genes required for ori-dependent DNA synthesis of Herpes Simpl...
متن کاملThe algebraic de Rham theorem for toric varieties
On an arbitrary toric variety, we introduce the logarithmic double complex, which is essentially the same as the algebraic de Rham complex in the nonsingular case, but which behaves much better in the singular case. Over the field of complex numbers, we prove the toric analog of the algebraic de Rham theorem which Grothendieck formulated and proved for general nonsingular algebraic varieties re...
متن کاملComplete Analytic Equivalence Relations
We prove that various concrete analytic equivalence relations arising in model theory or analysis are complete, i.e. maximum in the Borel reducibility ordering. The proofs use some general results concerning the wider class of analytic quasi-orders.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017